Multivalued Logic to Transform Potential into Actual Objects
نویسنده
چکیده
We define the notion of “potential existence” by starting from the fact that in multi-valued logic the existential quantifier is interpreted by the least upper bound operator. Besides, we try to define in a general way how to pass from potential into actual
منابع مشابه
Multivalued logic gates for quantum computation
We develop a multivalued logic for quantum computing for use in multi-level quantum systems, and discuss the practical advantages of this approach for scaling up a quantum computer. Generalizing the methods of binary quantum logic, we establish that arbitrary unitary operations on any number of d-level systems (d .2) can be decomposed into logic gates that operate on only two systems at a time....
متن کاملMultivalued Boolean Satisfiability: MV-SAT
Binary boolean satisfiability (SAT) has its applications in nearly all aspects of electronic design automation. Recent advances made by research in multivalued logic, rather than binary (2-valued) logic, suggest that extending binary SAT into the multivalued domain may allow us to efficiently solve many new problems that arise from such research. This paper presents a first look at a possible “...
متن کاملThickness Measuring of Thin Metal by Non Destructive with Fuzzy Logic Control System
Non-Destructive Testing & Evaluation methods are developed to inspect and investigate materials and structures. Ultrasonic Testing is an NDT method can be used for measuring the thickness of objects, as one of its significant applications. The objective of this paper is designing and applying an intelligent UT fuzzy control system for evaluating the thickness of thin metal objects in a range of...
متن کاملThickness Measuring of Thin Metal by Non Destructive with Fuzzy Logic Control System
Non-Destructive Testing & Evaluation methods are developed to inspect and investigate materials and structures. Ultrasonic Testing is an NDT method can be used for measuring the thickness of objects, as one of its significant applications. The objective of this paper is designing and applying an intelligent UT fuzzy control system for evaluating the thickness of thin metal objects in a range of...
متن کاملUsing NNF to Transform Conceptual Data Models to Object-Oriented Database Designs
More work is needed on devising practical, but theoretically well-founded procedures for doing object-oriented database (OODB) design [17]. Design procedures should also be flexible enough to take into account various application characteristics (such as whether objects are very large or are read-only). In this paper, we present and discuss an OODB design procedure that addresses these problems...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Studia Logica
دوره 86 شماره
صفحات -
تاریخ انتشار 2007